xen/arm64: do not clobber callee saved register in early_putch
authorIan Campbell <ian.campbell@citrix.com>
Mon, 13 May 2013 16:23:00 +0000 (17:23 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 14 May 2013 09:04:14 +0000 (10:04 +0100)
commit2629838162255cc1207a80f8976fbd4e51763a76
tree67d6cdf49a6529f2000e7431f419f233e8b044c7
parentaa83790810f6ca75b0a26db3aac3d1b904e909bd
xen/arm64: do not clobber callee saved register in early_putch

x23 is callee saved in the ARM 64 bit calling convention. Use x15 instead
which is a temporary register which need not be preserved.

Fixes a random crash during boot.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/arm64/debug.S